Positive Dedalus programs tolerate non-causality
نویسندگان
چکیده
منابع مشابه
Positive Dedalus programs tolerate non-causality
Declarative networking is a recent approach to programming distributed applications with languages inspired by Datalog. A recent conjecture posits that the delivery of messages should respect causality if and only if they are used in non-monotone derivations. We present our results about this conjecture in the context of Dedalus, a Datalog-variant for distributed programming. We show that both ...
متن کاملOn the CRON Conjecture
Declarative networking is a recent approach to programming distributed applications with languages inspired by Datalog. A recent conjecture posits that the delivery of messages should respect causality if and only if they are used in non-monotone derivations. We present our results about this conjecture in the context of Dedalus, a Datalogvariant for distributed programming. We show that both d...
متن کاملThe Causality/Repair Connection in Databases: Causality-Programs
In this work, answer-set programs that specify repairs of databases are used as a basis for solving computational and reasoning problems about causes for query answers from databases.
متن کاملPositive mass from holographic causality.
For (n+1)-dimensional asymptotically anti-de Sitter (AdS) spacetimes which have holographic duals on their n-dimensional conformal boundaries, we show that the imposition of causality on the boundary theory is sufficient to prove positivity of mass for the spacetime when n> or =3, without the assumption of any local energy condition. We make crucial use of a time-delay formula relating the Asht...
متن کاملTransferring Causality Analysis from Synchronous Programs to Hybrid Programs
Outputs of synchronous programs may suffer from cyclic dependencies since statements are allowed to read the current outputs’ values to determine the actions that generate the current values of the outputs. For this reason, compilers have to perform a causality analysis that ensures that at any point of time, there is a unique and constructive way to determine the outputs. The discrete parts of...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computer and System Sciences
سال: 2014
ISSN: 0022-0000
DOI: 10.1016/j.jcss.2014.01.005